Nuprl Definition : so_apply5 13,42
x(s1,s2,s3,s4,s5) == x(s1,s2,s3,s4,s5) 
latex

Upcore 2, core 2
Definitionsf(a)

origin